tipos de definición